ASM 2004 : abstract state machines : advances in theory and practice (Lutherstadt Wittenberg, 24-28 May 2004)Zimmermann, Wolf; Thalheim, Bernhard.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-22094-1, XII, 233 p, isbn 3-540-22094-1Conference Proceedings

On the complexity of verifying concurrent transition systemsHAREL, D; KUPFERMAN, O; VARDI, M. Y et al.Lecture notes in computer science. 1997, pp 258-272, issn 0302-9743, isbn 3-540-63141-0Conference Paper

A universal Turing machine with 3 states and 9 symbolsKUDLEK, Manfred; ROGOZHIN, Yurii.Lecture notes in computer science. 2002, pp 311-318, issn 0302-9743, isbn 3-540-43453-4Conference Paper

Cost hierarchies for Abstract Parallel machinesO'DONNELL, John; RAUBER, Thomas; RÜNGER, Gudula et al.Lecture notes in computer science. 2001, pp 16-33, issn 0302-9743, isbn 3-540-42862-3Conference Paper

Game theoretic analysis of call-by-value computationHONDA, K; YOSHIDA, N.Lecture notes in computer science. 1997, pp 225-236, issn 0302-9743, isbn 3-540-63165-8Conference Paper

On-line load balancing for related machinesBERMAN, P; CHARIKAR, M; KARPINSKI, M et al.Lecture notes in computer science. 1997, pp 116-125, issn 0302-9743, isbn 3-540-63307-3Conference Paper

A distributed abstract machine for safe ambientsSANGIORGI, Davide; VALENTE, Andrea.Lecture notes in computer science. 2001, pp 408-420, issn 0302-9743, isbn 3-540-42287-0Conference Paper

Intra-step interactionGUREVICH, Yuri.Lecture notes in computer science. 2004, pp 1-5, issn 0302-9743, isbn 3-540-22094-1, 5 p.Conference Paper

Three small Universal Turing MachinesBAIOCCHI, Claudio.Lecture notes in computer science. 2001, pp 1-10, issn 0302-9743, isbn 3-540-42121-1Conference Paper

Abstract state machines at the cusp of the milleniumBURGER, E.Lecture notes in computer science. 2000, pp 1-8, issn 0302-9743, isbn 3-540-67959-6Conference Paper

Refining and compressing abstract domainsGIACOBAZZI, R; RANZATO, F.Lecture notes in computer science. 1997, pp 771-781, issn 0302-9743, isbn 3-540-63165-8Conference Paper

A Variant of the Constant Step Rule for Approximate Subgradient Methods over Nonlinear NetworksMIJANGOS, Eugenio.Lecture notes in computer science. 2006, pp 757-766, issn 0302-9743, isbn 3-540-34070-X, 10 p.Conference Paper

Duration calculus : A real-time semantic for BCOLIN, Samuel; MARIANO, Georges; POIRRIEZ, Vincent et al.Lecture notes in computer science. 2005, pp 431-446, issn 0302-9743, isbn 3-540-25304-1, 16 p.Conference Paper

A simple and general method for integrating abstract interpretation in SICStusBALDAN, D; CIVRAN, N; FILE, G et al.Lecture notes in computer science. 1999, pp 207-223, issn 0302-9743, isbn 3-540-66540-4Conference Paper

An on-line algorithm for some uniform processor schedulingRONGHENG LI; LIJIE SHI.SIAM journal on computing (Print). 1998, Vol 27, Num 2, pp 414-422, issn 0097-5397Article

On Kolmogorov complexity in the real Turing machine settingMONTANA, J. L; PARDO, L. M.Information processing letters. 1998, Vol 67, Num 2, pp 81-86, issn 0020-0190Article

Equality is a jumpBOLDI, P; VIGNA, S.Theoretical computer science. 1999, Vol 219, Num 1-2, pp 49-64, issn 0304-3975Article

Circuit bottom fan-in and computational powerLIMING CAI; JIANER CHEN; HASTAD, J et al.SIAM journal on computing (Print). 1998, Vol 27, Num 2, pp 341-355, issn 0097-5397Article

Hypercubic sorting networksLEIGHTON, T; PLAXTON, C. G.SIAM journal on computing (Print). 1998, Vol 27, Num 1, pp 1-47, issn 0097-5397Article

Parallel implementation models for the λ-calculus using the Geometry of InteractionSOUSA PINTO, Jorge.Lecture notes in computer science. 2001, pp 385-399, issn 0302-9743, isbn 3-540-41960-8Conference Paper

Scaling, machine learning, and genetic neural netsMJOLSNESS, E; SHARP, D. H; ALPERT, B. K et al.Advances in applied mathematics (Print). 1989, Vol 10, Num 2, pp 137-163, issn 0196-8858Article

Slicing Abstract State MachinesNOWACK, Antje.Lecture notes in computer science. 2004, pp 186-201, issn 0302-9743, isbn 3-540-22094-1, 16 p.Conference Paper

An analysis of Lambek's production machinesPUCELLA, R. R.Informatique théorique et applications (Imprimé). 1997, Vol 31, Num 5, pp 483-497, issn 0988-3754Article

On implementations and semantics of a concurrent programming languageSEWELL, P.Lecture notes in computer science. 1997, pp 391-405, issn 0302-9743, isbn 3-540-63141-0Conference Paper

Logic programs directly processed in a network of content addressable memoriesDE CALLATAY, A.FGCS. Future generations computer systems. 1988, Vol 4, Num 2, pp 117-131, issn 0167-739XArticle